1. ADA a first course in programming and software engineering
پدیدآورنده : Bover, David
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Programming )Electronic computers(,، Software engineering,، Ada )Computer program language(
رده :
QA
76
.
6
.
B695
2. Algebraic Informatics
پدیدآورنده : \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
3. Computer-aided design of language processors
پدیدآورنده : Shangin, V. F.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Translators )Computer programs(,، Computer-aided software engineering,، Programming languages )Electronic computers(
رده :
QA
76
.
76
.
T83
S53
4. DIANA An Intermediate Language for Ada
پدیدآورنده : edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
73
.
A35
E358
1983
5. Deductive Software Verification – The KeY Book
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
6. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
7. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
پدیدآورنده : edited by S.N. Maheshwari
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
206
8. IEEE standard glossary of software engineering terminology
پدیدآورنده : Sponsor, Software Engineering Technical Committee of the IEEE Computer Society of the IEEE
کتابخانه: (سمنان)
موضوع : Dictionaries ، Software engineering,Dictionaries ، Programming languages )Electronic computers(
رده :
QA
76
.
15
.
I28
1990
9. Knowledge-Based software engineering
پدیدآورنده : Proceedings of the Joint conference on Knowledge-Based software engineering in smolenice)3rd,Slovania,8991(
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Electronic digital computers-programming-Congresses,، Software engineering-Congresses,، Programming-Congresses)Electronic computers(-Congresses
رده :
QA
76
.
6
.
P76
1998
10. Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Software engineering,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
N373a
11. Proceedings : 29th International Conference on Software Engineering : ICSE 2007, 20-26 May 2007, Minneapolis, Minnesota
پدیدآورنده : sponsored by IEEE Computer Society Technical Council on Software Engineering, The ACM Special Interest Group on Software Engineering )SIGSOFT(
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
758
.
I5
2007
12. Proceedings : 29th International Conference on Software Engineering : ICSE 2007 companion volume, 20-26 May 2007, Minneapolis, Minnesota
پدیدآورنده : sponsored by IEEE Computer Society Technical Council on Software Engineering )SIGSOFT(
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
758
.
I5
2007
Comp
.
13. Proceedings 15th International Conference on Software Engineering, May 17-21, 1993, Baltimore, maryland
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Software Engineering, the Association for Computing Machinery / SIGSOFT
کتابخانه: (طهران)
موضوع : Electronic digital computers - Programming - Congresses , Software engineering - Congresses, Programming languages )Electronic computers( - Congresses
رده :
QA
76
.
6
.
I573
1993
14. Proceedings 16th International Conference on Software Engineering, May 16-21, 1994, Sorrento, Italy
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Software Engineering, ACM Special Interest Group on Software Engineering )SIGSOFT(, Associazione Italiana per l Informatica ed il Calcolo Automatico )AICA(
کتابخانه: (طهران)
موضوع : Electronic digital computers - Programming - Congresses , Software engineering - Congresses , Programming languages )Electronic computers( - Congresses
رده :
QA
76
.
6
.
I573
1994
15. Programming languages and systems :
پدیدآورنده : Hongseok Yang (edition)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers), Congresses,Software engineering, Congresses
رده :
QA76
.
7
.
A65
2011
16. Programming languages and systems :
پدیدآورنده : Gilles Barthe (edition)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
E97
2011
17. RIMS Symposia on Software Science and Engineering II :
پدیدآورنده : edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6
E358
1986
18. Software engineering: a practitioner's approach
پدیدآورنده : Pressman, Roger S.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Software engineering
رده :
QA
76
.
6
.
P73
1994
19. Software engineering: a practitioner's approach
پدیدآورنده : Pressman, Roger S.
کتابخانه: المكتبة المركزية ومركز التوثيق (کلستان)
موضوع : ، Electronic digital computers -- Programming,، Software engineering
رده :
QA
76
.
6
.
P73
20. Software engineering: a programming approach
پدیدآورنده : Bell, Doug
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Software engineering,Programming ، Electronic digital computers
رده :
QA
76
.
76
.
D47
B45
1987
